例句與造句

1. I think you also get an initial algebra by the construction.
2. Various lists and trees, can be obtained as initial algebras of specific endofunctors.
3. Strong type systems enable us to abstractly specify the initial algebra of a functor f as its fixed point " a = f a ".
4. As for initial algebras and F-algebras, I couldn't make sense of those articles .-talk [ + ] 14 : 12, 12 June 2006 ( UTC)
5. If the domain of discourse is the category of sets and total functions, then final data types may contain infinite, Haskell programming language, then final types coincide with initial types, and the corresponding final coalgebra and initial algebra form an isomorphism.
6. It's difficult to find initial algebra in a sentence. 用initial algebra造句挺難的
7. From a category theory perspective, a term algebra is the initial object for the category of all algebras of the same signature, and this object, unique up to isomorphism is called an initial algebra; it generates by homomorphic projection all algebras in the category.